Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
531	Towards certificate generation for linear heap consumption Lennart Beringer1 , Martin Hofmann2 , Alberto Momigliano1 , Olha Shkaravska2 1 Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinb Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2004-07-28 09:07:42 Philosophical logic Deduction Entailment Logical consequence Metalogic Valuation Modal logic Sheaf Natural deduction Logic Abstract algebra Mathematics
532	Time Consistency Conditions for Acceptability Measures, with an Application to Tail Value at Risk Berend Roorda∗ Hans Schumacher† Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:49:32 Constructible universe Conditional expectation Mathematics Forcing Linear temporal logic Probability theory Mathematical logic Ordinal number
533	ORDER AMONG QUASI-ARITHMETIC MEANS OF POSITIVE OPERATORS ´ C, ´ JOSIP PECARI ˇ ´ and YUKI SEO Add to Reading List Source URL: www.csm.ro Language: English - Date: 2012-05-13 13:07:55 Operator theory Convex analysis Convex function Operator Dual space Linear temporal logic Μ operator Mathematical analysis Mathematics Functional analysis
534	Annals of Mathematics and Articial Intelligence[removed]) ?{? 1 TALplanner: A Temporal Logic Based Forward Chaining Planner Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:58 Non-classical logic Linear temporal logic Temporal logic Modal logic 8T METAR Action Physics Logic Philosophical logic
535	Major: Mathematics Exit Exam: Add to Reading List Source URL: www.bhsu.edu Language: English - Date: 2014-04-04 19:18:59 Modal logic Polynomials Propositional calculus Mathematics education Factorization of polynomials over a finite field and irreducibility tests Logic Linear algebra Area
536	Major: Mathematics Exit Exam: Add to Reading List Source URL: www.bhsu.edu Language: English - Date: 2012-03-28 14:54:38 Area Algebra Combinatorics Propositional calculus Logic Linear algebra Modal logic
537	Similarity, Approximations and Vagueness Patrick Doherty1 , Witold Łukaszewicz2 , and Andrzej Szałas1,[removed]Department of Computer Science, University of Linköping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-09 03:43:13 Independence Measure theory Linear algebra Logic Sigma-algebra Probability theory Metalogic Model theory
538	Cubature formulas of S.L. Sobolev: evolution of the theory and applications M.D. Ramazanov [removed]. D.Y. Rakhmatullin [removed] Add to Reading List Source URL: matem.anrb.ru Language: English - Date: 2011-03-22 12:24:29 Ordinal number Dirac delta function Numerical integration Linear temporal logic Mathematical analysis Fourier analysis Constructible universe
539	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:25:23 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
540	Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:51 Ordinal numbers Elementary mathematics Proof theory Duality Large countable ordinal Ordinal arithmetic Topos Function Natural number Mathematics Mathematical logic Logic

UPDATE